Resultaten visas 1 - 10 / 7732
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Proof theory for modal logic

Referentgranskad
Negri, Sara
Philosophy Compass2011Publicationer information ikon

Integrability of Liouville theory: proof of the DOZZ formula

Referentgranskad
Öppen tillgång
DOI
10.4007/annals.2020.191.1.2
Kupiainen, Antti; Rhodes, Remi; Vargas, Vincent
Annals of Mathematics. Second Series2020Publicationer information ikon

From mathematical axioms to mathematical rules of proof:recent developments in proof analysis

Referentgranskad
Öppen tillgång
DOI
10.1098/rsta.2018.0037
Negri, Sara; von Plato, Jan
Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences2019Publicationer information ikon

On the proof theory of apodictic syllogistic

Referentgranskad
Öppen tillgång
von Plato, Jan; Antonelli, Melissa
College publications2024Publicationer information ikon

Proof theory for quantified monotone modal logics

Referentgranskad
Öppen tillgång
DOI
10.1093/jigpal/jzz015
Negri, Sara; Orlandelli, Eugenio
Logic journal of the IGPL2019Publicationer information ikon

On the proof theory of conditional logics

Öppen tillgång
Girlando, Marianna
Helsingin yliopisto2019Publicationer information ikon

Proof-Theoretic Analysis of the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
Pavlović , Edi; Norbert Gratzl
The Review of Symbolic Logic2019Publicationer information ikon

Non-normal modal logis:a challenge to proof theory

Referentgranskad
Negri, Sara
Logica2017Publicationer information ikon

Non-Normal Modal Logics:A Challenge to Proof Theory

Referentgranskad
Negri, Sara
Logica 2016 Symposium2017Publicationer information ikon

The development of proof theory, revised edition 2014

Öppen tillgång
von Plato, Jan
The Stanford Encyclopedia of Philosophy2014

Proof theory for modal logic

Referentgranskad
2011

Integrability of Liouville theory: proof of the DOZZ formula

Referentgranskad
Öppen tillgång
DOI
10.4007/annals.2020.191.1.2
2020

From mathematical axioms to mathematical rules of proof:recent developments in proof analysis

Referentgranskad
Öppen tillgång
DOI
10.1098/rsta.2018.0037
2019

On the proof theory of apodictic syllogistic

Referentgranskad
Öppen tillgång
2024

Proof theory for quantified monotone modal logics

Referentgranskad
Öppen tillgång
DOI
10.1093/jigpal/jzz015
2019

On the proof theory of conditional logics

Öppen tillgång
2019

Proof-Theoretic Analysis of the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
2019

Non-normal modal logis:a challenge to proof theory

Referentgranskad
2017

Non-Normal Modal Logics:A Challenge to Proof Theory

Referentgranskad
2017

The development of proof theory, revised edition 2014

Öppen tillgång
2014